Tilting chains of negative curves on rational surfaces

We introduce the notion of exact tilting objects, which are partial tilting objects $T$ inducing an equivalence between the abelian category generated by $T$ and the category of modules over the endomorphism algebra of $T$. Given a chain of sufficiently negative rational curves on a rational surface, we construct an exceptional sequence whose universal extension is an exact tilting object. For a chain of (-2)-curves, we obtain an equivalence with modules over a well known algebra.Comment: 13 page

On the Uncontended Complexity of Anonymous Consensus

Consensus is one of the central distributed abstractions. By enabling a collection of processes to agree on one of the values they propose, consensus can be used to implement any generic replicated service in a consistent and fault-tolerant way. In this paper, we study uncontended complexity of anonymous consensus algorithms, counting the number of memory locations used and the number of memory updates performed in operations that encounter no contention. We assume that contention-free operations on a consensus object perform "fast" reads and writes, and resort to more expensive synchronization primitives, such as CAS, only when contention is detected. We call such concurrent implementations interval-solo-fast and derive one of the first nontrivial tight bounds on space complexity of anonymous interval-solo-fast consensus

Гендерний аспект вивчення жаргонної лексики

В статье определяется понятие "общий жаргон", обосновывается актуальность гендерного подхода к изучению жаргонизмов. На материале выборок из словарей, художественной литературы, по результатам проведенного автором психолингвистического эксперимента осуществляется семантический анализ, определяются способы образования жаргонизмов на обозначение женщин в украинском языке.У статті визначається поняття "загальний жаргон", обґрунтовується актуальность ґендерного підходу до вивчення жаргонізмів. На матеріалі вибірок зі словників, художньої літератури, за результатами проведеного автором психолінгвістичного експерименту здійснюється семантичний аналіз, визначаються способи утворення жаргонізмів на позначення жінок в українській мові.The author of the article defines the concept "general jargon", bases actuality of gender aspect of jargon words investigation. Using dictionaries, literature and the results of psycho-linguistic experiment, the author analyses semantic and formation ways of jargon words for designation of women in Ukrainian

Опыт лечения врожденных кист яичников у девочек на первом году жизни

В статті представлено три випадки оперативного лікування методом лапароскопії вроджених кист яєчника. Найчастіше перекрут вродженої кисти яєчника відбувається внутрішньоутробно, що може привести до самоампутації додатків матки з боку ураження. Показанням до оперативного лікування можуть слугувати відсутність регресу утворення, характерні ехоскопічні та доплерометричні ознаки.Three cases of laparoscopic treatment of congenital ovarian cysts are presented in the article. More often twisting of congenital ovarian cyst could happen intrauterously, what could cause autoamputation of adnexa. Indications to surgery could be an absence of regression of cyst and/or certain ultrasound and Doppler signs

Regards d’enseignants québécois sur les élèves doués : points de vue diversifiés

This study examines teachers’ perceptions of gifted students in their class, in a Quebec school service centre, and the influence of personal and contextual variables. The sample consists of 21 primary school teachers (18 women and 3 men). After the lexical analysis carried out with the Alceste software, four specific classes of statements emerge from the teachers’ discourse. In addition, age, teaching cycle, type of class, number of years of experience, involvement in an intervention plan and experience with giftedness predict the heterogeneity of the perceptions of teachers towards giftedness. The results suggest more traditional and stereotypical perceptions of giftedness by teachers. Keywords: perceptions, representations, teachers, giftedness, characteristics, high potential, lexical analysisCette étude s’intéresse aux perceptions des enseignants concernant les élèves doués de leur classe, dans un centre de services scolaire québécois, et à l’influence de certaines variables personnelles et contextuelles sur ces perceptions. L’échantillon se compose de 21 enseignants du primaire (18 femmes et 3 hommes). À l’issue de l’analyse lexicale réalisée avec le logiciel Alceste, quatre classes d’énoncés spécifiques se dégagent du discours des enseignants. L’âge, le cycle d’enseignement, le type de classe, le nombre d’années d’expérience, l’implication dans un plan d’intervention et l’expérience envers la douance constituent des facteurs explicatifs de l’hétérogénéité des perceptions des enseignants envers la douance. Les résultats portent également à croire que des perceptions plus traditionnelles et stéréotypées de la douance persistent chez certains enseignants. Mots-clés : perceptions, représentations, enseignants, douance, caractéristiques, haut potentiel, analyse lexical

Hypovitaminosis D is associated with depression and anxiety in schizophrenia: results from the national FACE-SZ cohort. Running title: hypovitaminosis D, depression and anxiety in schizophrenia

International audienceBackground. Guidelines have been edited for the treatment of schizophrenia (SZ) and bipola

Étude de la complexité des implémentations d'objets concurrents, sans attente, abandonnables et/ou solo-rapides

In multiprocessor computer, synchronizations between processes are needed for the access to the shared memory. Usually this is done by using locks, but there are some issues as deadlocks or lack of fault-tolerance. We are interested in implementing abstractions (as consensus or universal construction) which ease the programming of wait-free concurrent objects, without using lock but based on atomic Read/Write operations (ARW). Only using the ARW does not permit to implement wait-free consensus. The use of primitives which offer a higher power of synchronization than the ARW is needed. But these primitives are more expensive in computing time. Therefore, we are interested in this thesis in the design of algorithms which restrict the use of these primitives only to the cases where processes are in contention. These algorithms are said solo-fast. Another direction is to allow the object to abort the computation in progress - and to return a special response "abort" - when there is contention. These objects are named abortable. On the one hand we give wait-free, abortable and/or solo-fast concurrent object implementations. Indeed we proposed a universal construction which ensure to the implemented object to be abortable and solo-fast. We have also realized solo-fast consensus algorithms and abortable consensus algorithms. On the other hand, we study the space complexity of these implementations : we prove space lower bound on the implementation of abortable object and consensus.Dans un ordinateur multiprocesseur, lors de l'accès à la mémoire partagée, il faut synchroniser les entités de calcul (processus). Cela peut se faire à l'aide de verrous, mais des problèmes se posent (par exemple interblocages, mauvaise tolérance aux pannes). On s'est intéressé à l'implémentation d'abstractions (consensus et construction universelle) qui peuvent faciliter la programmation concurrente sans attente, sans utiliser de verrous mais basés sur des lectures/écritures atomiques (LEA). L'usage exclusive des LEA ne permet pas de réaliser un consensus sans attente. Néanmoins, autoriser l'usage de primitives offrant une puissance de synchronisation plus forte que des LEA, mais coûteuse en temps de calcul, le permet. Nous nous sommes donc intéressés dans cette thèse à des programmes qui limitent l'usage de ces primitives aux seules situations où les processus sont en concurrence, ces programmes sont dit solo-rapides. Une autre piste étudiée est de permettre à l'objet, lorsqu'il y a de la concurrence, de retourner une réponse spéciale "abandon" qui signifie l'abandon des calculs en cours. Ces objets sont dit abandonnables. D'une part, nous donnons des implémentations d'objets concurrents sans attente, abandonnables et/ou solo-rapides. Pour cela, nous proposons une construction universelle qui assure à l'objet implémenté d'être abandonnable et solo-rapide ; nous avons réalisés des algorithmes de consensus solo-rapides et des algorithmes de consensus abandonnable. D'autre part nous étudions la complexité en espace de ces implémentations en proposant des bornes inférieures sur l'implémentation des objets abandonnables et sur le consensus

On the complexity of wait-free, abortable and/or solo-fast concurrent object implementations

Dans un ordinateur multiprocesseur, lors de l'accès à la mémoire partagée, il faut synchroniser les entités de calcul (processus). Cela peut se faire à l'aide de verrous, mais des problèmes se posent (par exemple interblocages, mauvaise tolérance aux pannes). On s'est intéressé à l'implémentation d'abstractions (consensus et construction universelle) qui peuvent faciliter la programmation concurrente sans attente, sans utiliser de verrous mais basés sur des lectures/écritures atomiques (LEA). L'usage exclusive des LEA ne permet pas de réaliser un consensus sans attente. Néanmoins, autoriser l'usage de primitives offrant une puissance de synchronisation plus forte que des LEA, mais coûteuse en temps de calcul, le permet. Nous nous sommes donc intéressés dans cette thèse à des programmes qui limitent l'usage de ces primitives aux seules situations où les processus sont en concurrence, ces programmes sont dit solo-rapides. Une autre piste étudiée est de permettre à l'objet, lorsqu'il y a de la concurrence, de retourner une réponse spéciale "abandon" qui signifie l'abandon des calculs en cours. Ces objets sont dit abandonnables. D'une part, nous donnons des implémentations d'objets concurrents sans attente, abandonnables et/ou solo-rapides. Pour cela, nous proposons une construction universelle qui assure à l'objet implémenté d'être abandonnable et solo-rapide ; nous avons réalisés des algorithmes de consensus solo-rapides et des algorithmes de consensus abandonnable. D'autre part nous étudions la complexité en espace de ces implémentations en proposant des bornes inférieures sur l'implémentation des objets abandonnables et sur le consensus.In multiprocessor computer, synchronizations between processes are needed for the access to the shared memory. Usually this is done by using locks, but there are some issues as deadlocks or lack of fault-tolerance. We are interested in implementing abstractions (as consensus or universal construction) which ease the programming of wait-free concurrent objects, without using lock but based on atomic Read/Write operations (ARW). Only using the ARW does not permit to implement wait-free consensus. The use of primitives which offer a higher power of synchronization than the ARW is needed. But these primitives are more expensive in computing time. Therefore, we are interested in this thesis in the design of algorithms which restrict the use of these primitives only to the cases where processes are in contention. These algorithms are said solo-fast. Another direction is to allow the object to abort the computation in progress - and to return a special response "abort" - when there is contention. These objects are named abortable. On the one hand we give wait-free, abortable and/or solo-fast concurrent object implementations. Indeed we proposed a universal construction which ensure to the implemented object to be abortable and solo-fast. We have also realized solo-fast consensus algorithms and abortable consensus algorithms. On the other hand, we study the space complexity of these implementations : we prove space lower bound on the implementation of abortable object and consensus

On the complexity of wait-free, abortable and/or solo-fast concurrent object implementations

Dans un ordinateur multiprocesseur, lors de l'accès à la mémoire partagée, il faut synchroniser les entités de calcul (processus). Cela peut se faire à l'aide de verrous, mais des problèmes se posent (par exemple interblocages, mauvaise tolérance aux pannes). On s'est intéressé à l'implémentation d'abstractions (consensus et construction universelle) qui peuvent faciliter la programmation concurrente sans attente, sans utiliser de verrous mais basés sur des lectures/écritures atomiques (LEA). L'usage exclusive des LEA ne permet pas de réaliser un consensus sans attente. Néanmoins, autoriser l'usage de primitives offrant une puissance de synchronisation plus forte que des LEA, mais coûteuse en temps de calcul, le permet. Nous nous sommes donc intéressés dans cette thèse à des programmes qui limitent l'usage de ces primitives aux seules situations où les processus sont en concurrence, ces programmes sont dit solo-rapides. Une autre piste étudiée est de permettre à l'objet, lorsqu'il y a de la concurrence, de retourner une réponse spéciale "abandon" qui signifie l'abandon des calculs en cours. Ces objets sont dit abandonnables. D'une part, nous donnons des implémentations d'objets concurrents sans attente, abandonnables et/ou solo-rapides. Pour cela, nous proposons une construction universelle qui assure à l'objet implémenté d'être abandonnable et solo-rapide ; nous avons réalisés des algorithmes de consensus solo-rapides et des algorithmes de consensus abandonnable. D'autre part nous étudions la complexité en espace de ces implémentations en proposant des bornes inférieures sur l'implémentation des objets abandonnables et sur le consensus.In multiprocessor computer, synchronizations between processes are needed for the access to the shared memory. Usually this is done by using locks, but there are some issues as deadlocks or lack of fault-tolerance. We are interested in implementing abstractions (as consensus or universal construction) which ease the programming of wait-free concurrent objects, without using lock but based on atomic Read/Write operations (ARW). Only using the ARW does not permit to implement wait-free consensus. The use of primitives which offer a higher power of synchronization than the ARW is needed. But these primitives are more expensive in computing time. Therefore, we are interested in this thesis in the design of algorithms which restrict the use of these primitives only to the cases where processes are in contention. These algorithms are said solo-fast. Another direction is to allow the object to abort the computation in progress - and to return a special response "abort" - when there is contention. These objects are named abortable. On the one hand we give wait-free, abortable and/or solo-fast concurrent object implementations. Indeed we proposed a universal construction which ensure to the implemented object to be abortable and solo-fast. We have also realized solo-fast consensus algorithms and abortable consensus algorithms. On the other hand, we study the space complexity of these implementations : we prove space lower bound on the implementation of abortable object and consensus